main-test.o: main-test.cpp ../UnitTest/src/UnitTest++.h \
 ../UnitTest/src/Config.h ../UnitTest/src/Test.h \
 ../UnitTest/src/TestDetails.h ../UnitTest/src/TestList.h \
 ../UnitTest/src/TestSuite.h ../UnitTest/src/TestResults.h \
 ../UnitTest/src/TestMacros.h ../UnitTest/src/ExecuteTest.h \
 ../UnitTest/src/MemoryOutStream.h ../UnitTest/src/AssertException.h \
 ../UnitTest/src/CurrentTest.h ../UnitTest/src/Posix/SignalTranslator.h \
 ../UnitTest/src/CheckMacros.h ../UnitTest/src/Checks.h \
 ../UnitTest/src/TestRunner.h ../UnitTest/src/TimeConstraint.h \
 ../UnitTest/src/TimeHelpers.h ../UnitTest/src/Posix/TimeHelpers.h \
 formule.hpp sat.hpp parser.hpp
